扫描下载APP
其它方式登录
普林斯顿大学团队推出Goedel-Architect智能体系统，基于DeepSeek-V4-Flash模型，通过‘蓝图生成与精炼’架构显著提升形式化定理证明效率，在PutnamBench基准上实现75.6%通过率且成本仅294美元，较此前最优方案降低约500倍，推动AI数学证明向低成本、高可信方向突破。
文章分析了美国宏观经济的缓慢降速状态，加密货币市场的弱势走势，以及两个重点项目ETHGas和Architect的融资与设计特点。
前FTX US总裁Brett Harrison创立的金融科技公司Architect Financial Technologies完成3500万美元A轮融资，估值达1.87亿美元。该公司专注于桥接中心化与去中心化数字资产市场，提供经纪服务、交易技术和后交易解决方案，核心产品为传统资产永续期货交易所AX。Architect强调合规与技术，目标客户为机构投资者。
